9.12 요약 및 다음 단계: 동적 테스트 오라클로의 연결